Random beta-expansions, unique expansions and Lochs' Theorem by W.M. De Vries