Digitalization by Means of a Prototyping Process: The Case of a Brazilian Public Service