Auslander's formula: Variations and applications