How long does it take to steam a pudding?