Spinach Risotto (pressure cooker)