HP launches $400 mini-notebook as it plays catch-up