dive computer algorithm