Do you need a vent for over the range microwave?