On a second order differential inclusion modeling the FISTA algorithm