Diminishing Uncertainty in Software Patents: After the Supreme Court Denied Certiorari for Synopsys Inc. v. Mentor Graphics Corp.