A program for branching problems in the representation theory of real reductive groups