How to fold the world record paper airplane