Slon a mravenec (hudební pohádka)