How do you make green beans more tender?