Following record highs: Asian markets down as traders await US jobs report