The RedMonk Programming Language Rankings: January 2013