HP mobile workstation battery