Sony have since launched their budget range of PlayStation 3 titles, known as the Greatest Hits range in North America, the Platinum range in Europe and Australia and The Best range in Japan. In what year was Devil May Cry 4 added to the budget game offerings for PS3?