Three-dimensional simulation of thermal choking in a model scramjet combustor