Miniscript enables Bitcoin spending policies to execute conditional spending paths based on cryptographic time locks