derive lens maker formula