Petrol filling stations : guidance on managing the risks of fire and explosion (the Red guide) (Energy Institute, 2016)