The role of pure mathematics in resolving complex biological problems: Applications to F1-ATPase, achievements, and future directions