Teorija računjivosti