how long to boil fresh green beans to make them soft