BP files official lawsuit against Halliburton