Automatic recognition of Martian craters based on MOLA-derived digital topography