An Algorithmic Reconstruction of Normalisation by Evaluation