que es la cervicocolpitis