France shelves proposed tax on high-frequency trading