Industrial and other buildings