Branching laws for representations of real reductive groups