Leram - The Management of Corporate Financial Assets: Applications of Mathematical Programming Models