Representation theory in CAYLEY: tools and algorithms