Pork chops with butter bean and olive oil mash