Arbitrage-free neural-SDE market models