Core drilling machines