Pressure sensor for the Mars 2020 Perseverance rover