What are examples of finitely presented  but not residually amenable groups?