Designing Expressive and Liquid Financial Options Markets via Linear Programming and Automated Market Making