Does Gender Matter for Political Leadership? The Case of U.S. Mayors