ESR1 and breast cancer: Formal modeling and analysis of ER-α associated Biological Regulatory Network in breast cancer