Text this: Randomisation and Derandomisation in Descriptive Complexity Theory