Giải Ruth Lyttle Satter toán học