Auslander's formula for contravariantly finite subcategories