Mars obliquity history constrained by elliptic crater orientations