Describir: Virtual Optimisation and Verification of Inductively Coupled Transponder Systems