The jumping power of a crocodile