Text this: A topology on BCK-modules via prime sub-BCK-modules