RIMFAX: A GPR for the Mars 2020 rover mission