The magnetic field in the pile‐up region at Mars, and its variation with the solar wind