How to Prevent MySQL Deadlocks When Using SELECT FOR UPDATE with Different Rows by Primary Key