the duckbill platypus is a mammal that lays eggs