[2206.06636] Provably-secure randomness generation from switching probability of magnetic tunnel junctions