The high-mass end of the red sequence at z ∼ 0.55 from SDSS-III/BOSS: completeness, bimodality and luminosity function