WP2: Modelling and quantum randomness estimation mathematical models describing the operation of each vendor’s device necessary theory to estimate the extractable quantum randomness