How to find CAS at an altitude of FL310, indicated airspeed 250 KIAS and Total Temperature of -30 degrees C?