Proving Finiteness of CCS Processes by Non-Standard Semantics