Statistics for Theoretical Computer Science