UK Navy’s fourth Astute-class submarine, formally christened as Audacious