Annual Windows Phone Revenues Were Well Under $613 Million