Using a factored dual in augmented Lagrangian methods for semidefinite programming