Embedding Brouwer Algebras in the Medvedev Lattice