How can I change MySQL?s innodb_log_file_size parameter?