How long does it take to cook fresh green beans