The evolution of fishes on coral reefs: fossils, phylogenies, and functions