Derived categories of complete intersections, crepant categorical resolutions and homological projective duality