Weak Derandomization of Weak Algorithms: Explicit Versions of Yao's Lemma