Diamond-core drilling