San ramon mayor salary