Core-drilling machines