Bordered Heegaard Floer homology