How much water do you need to steam broccoli?