District court finds that insurance premium excise tax does not apply to retrocession transactions