Gartner: First quarter was good to PDA vendors