Maps on iPhones generated 4x more revenue for Google than Android – until now