How many different types of Social Security disability benefits are there?