Shelah's pcf Theory and Its Applications