Elastic indentation of a rough surface by a conical punch