Gartner: Microsoft catches up to Palm in PDA OS market