Bui's path-independent integral in finite elasticity.