Coral reefs and their formation