How many phones HTC manufactured last year?