Polenta with Green Beans, Mushrooms, Peas, and Leeks