The value of coral reef infrastructure.