An exact algorithm for the static pricing problem under discrete mixed logit demand