Bachmann to run for GOP leadership in the House