Automating Red Tape: The Performative vs. Informative Roles of Bureaucratic Documents