HP Dragonfly G4: Release date, price, and everything you need to know