Derived categories of coherent sheaves