when did thor 2 come out in theaters