Superconducting magnetic bearings with bulks and 2G HTS stacks: comparison between simulations using H and A-V formulations with measurements