Analytical modelling with experimental validation of electromagnetic Halbach arrays in wireless power transfer systems | Synapse