Europe Markets: European stocks whacked, with miners hurt after China data miss targets