Facility-based testing strategies can be effective at substantially increasing number of men tested for HIV in Malawi: results from a data-driven mathematical model