Handbook of Categorical Algebra: Volume 3, Sheaf Theory