Theory of Protostellar Disk Formation