I want to make a vegetable gratin thing to serve with roast lamb or pork (whichever Tesco has a deal on) but whenever I try I end up with mushy veg. How long do you cook your cauliflower or broccoli for so that once it has been in the oven in cheese sauce for a while the vegetables are still al dente??