how long to boil fresh green beans until soft