What movie composed by Dimitri Tiomkin grossed $8.5 million in its theatrical release?