First-principles feasibility assessment of a topological insulator at the InAs/GaSb interface