Libya government says militias to leave Tripoli after deal struck