HP TouchPad tablet to go on sale July 1 in US