HP EliteBook 725 G2 review - tiny and expensive