Sarmanov copula joint frequency-severity for insurance pricing — analytical premium correction, IFM estimation, dependency diagnostics