The ideal timing for revision surgery following an infected cranioplasty