Testing out some code to smoothly animate layout margins in Android