Luca Trevisan: Average-case Complexity -- A Survey