For how much time is the pudding mixture baked in the microwave oven?