An Android app for logging your mileage, tailored to high-mileage and competitive runners