how much did raiders of the lost ark cost to make