Computing the covering radius of a polytope with an application to lonely runners.