Risk assessment at AGI companies: A review of popular risk assessment techniques from other safety-critical industries