How long should it take for my hard drive to format on a new setup?