Introduction to derived categories of coherent sheaves