Fossoriality, a strong evolutionary force acting on appendage reduction among vertebrates