Doug Miller steps down as Blue Devils’ coach