Crater Detection Based on Marked Point Processes