Reconstructing ecological functions provided by extinct fauna using allometrically informed simulation models: An in silico framework for ‘movement palaeoecology’