Did the FBI Lean On Microsoft for Access to Its Encryption Software?