cooking wheat berries in a pressure cooker