Using Boolean Networks to Model Post-transcriptional Regulation in Gene Regulatory Networks