Local politicians take the party affiliation of directly elected mayors into account when forming coalitions