The effect of a ban on gender‐based pricing on risk selection in the German health insurance market