[Spec] Clarify specification for StridedSlice (openvinotoolkit#23039)

### Details:
- Add notes with descriptions of: Out of Bounds, Indexing in Reverse,
Negative Indices
 - Clarified length of masks
 - Clarified the definition of `-1` value
- Described in detail the behavior of masks, aligned with Reference
Implementation
 - Added more latex-like style, add the examples for the missing masks.

### Tickets:
 - 90128