Equivalent Characterisations of Compactness in Metric Spaces