What is the commonly used name for the boundary that has separated the turkish and greek sectors of cyprus since those two countries fought a war over the island in 1974?.