Density evolution-based analysis and design of LDPC codes with a-priori information