菇类需要煮多久