Mechanistic Computational Models of MicroRNA-Mediated Signaling Networks in Human Diseases