Green Beans Braised with Mint and Potatoes