Risk-targeted safety distance of reinforced concrete buildings from natural-gas transmission pipelines