added extra mixed volume function to C interface