Mexico's army takes over yet another civilian role — filling potholes