Linear Type Theory for Asynchronous Session Types