TASEP with open boundary conditions