Ballmer's tenure at Microsoft was underrated; he drove strong financials and made key long-term bets (like cloud) that enabled Nadella's later success.