The reef coral fauna of Bali in the centre of marine diversity