Reverse mathematics & nonstandard analysis: towards a dispensability argument