Rigorous design of matched wireless power transfer links based on inductive coupling