Idempotent Analysis and Its Applications