HTC: bigger than Nokia, for now