Monitoring an industrial steel building by GPS receivers