It took months of planning and included over 125 planes, a submarine and 14 "bunker buster" bombs. BBC Verify explains how the US mission "Operation Midnight Hammer" took place.