I've had good luck with the Thinkpad W530. A little large for some (15''), but for me it works. 16Gb of RAM, SSD and an extra battery (which attaches to the back and angles the keyboard just right) gives me approx 10 hrs of battery life (even when fitting models/compiling).