Quantisation of Second Class Systems in the Batalin-Tyutin Formalism