Heating industrial sheds