Mike Pettine interviews for Redskins defensive coordinator job