Re-Mining Lost Bitcoins: Part I