Demystifying Bitcode: Understanding What, Why, and How for iOS Engineers