Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions (Logical Methods in Computer Science, 2025)