Fully-staggered-array bulk Re-Ba-Cu-O short-period undulator: large-scale 3D electromagnetic modelling and design optimization using A-V and H-formulation methods. (18th August 2021)