A theory of shifted Young tableaux