Approximation Algorithms and Mechanism Design for Minimax Approval Voting