Petrosoft: Fueling safer, more efficient petroleum retail operations with IBM Informix