Anosov representations and proper actions