What techniques are used to mitigate rotational vibration on a hard disk?