After HTC, General Dynamics Itronix will pay Microsoft royalties for using Android