Does anyone use a pressure cooker and if yes-is it worth investing in one? Any recommendations on make?