Arbitrage-Free Neural-Sde Market Models Of Traded Options