Three-dimensional conflict count models for unstructured and layered airspace designs